Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ACM transactions on computational logic
| ACM transactions on computational logic |
| Pubbl/distr/stampa | New York, NY, : Association for Computing Machinery |
| Disciplina | 004 |
| Soggetto topico |
Computer logic
Logic, Symbolic and mathematical Computer science - Mathematics Logique informatique Logique symbolique et mathématique Informatique - Mathématiques Informatica Logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-945X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Association for Computing Machinery transactions on computational logic
Computational logic Transactions on computational logic TOCL |
| Record Nr. | UNINA-9910134503403321 |
| New York, NY, : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM transactions on computational logic
| ACM transactions on computational logic |
| Pubbl/distr/stampa | New York, NY, : Association for Computing Machinery |
| Disciplina | 004 |
| Soggetto topico |
Computer logic
Logic, Symbolic and mathematical Computer science - Mathematics Logique informatique Logique symbolique et mathématique Informatique - Mathématiques Informatica Logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-945X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Association for Computing Machinery transactions on computational logic
Computational logic Transactions on computational logic TOCL |
| Record Nr. | UNISA-996215883003316 |
| New York, NY, : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Archiv für mathematische Logik und Grundlagenforschung
| Archiv für mathematische Logik und Grundlagenforschung |
| Pubbl/distr/stampa | Stuttgart, : W. Kohlhammer, 1950-1987 |
| Descrizione fisica | 1 online resource |
| Disciplina | 510/.5 |
| Soggetto topico |
Logic, Symbolic and mathematical
Metamathematics Métamathématique Logique symbolique et mathématique Mathematische Logik Zeitschrift |
| Soggetto genere / forma |
Periodicals.
Zeitschrift |
| Soggetto non controllato | Mathematische Logik |
| ISSN | 0003-9268 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-996200952403316 |
| Stuttgart, : W. Kohlhammer, 1950-1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Archiv für mathematische Logik und Grundlagenforschung
| Archiv für mathematische Logik und Grundlagenforschung |
| Pubbl/distr/stampa | Stuttgart, : W. Kohlhammer, 1950-1987 |
| Descrizione fisica | 1 online resource |
| Disciplina | 510/.5 |
| Soggetto topico |
Logic, Symbolic and mathematical
Metamathematics Métamathématique Logique symbolique et mathématique Mathematische Logik Zeitschrift |
| Soggetto genere / forma |
Periodicals.
Zeitschrift |
| Soggetto non controllato | Mathematische Logik |
| ISSN | 0003-9268 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910139641703321 |
| Stuttgart, : W. Kohlhammer, 1950-1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bulletin of the Section of Logic
| Bulletin of the Section of Logic |
| Pubbl/distr/stampa | Wrocław, : Polish Academy of Sciences, Institute of Philosophy and Sociology, 1972- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.305 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical - Societies, etc Logic Logique Logique symbolique et mathématique Logique symbolique et mathématique - Associations |
| Soggetto genere / forma | Periodicals. |
| ISSN | 2449-836X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | BSL |
| Record Nr. | UNINA-9910377850403321 |
| Wrocław, : Polish Academy of Sciences, Institute of Philosophy and Sociology, 1972- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bulletin of the Section of Logic
| Bulletin of the Section of Logic |
| Pubbl/distr/stampa | Wrocław, : Polish Academy of Sciences, Institute of Philosophy and Sociology, 1972- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.305 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical - Societies, etc Logic Logique Logique symbolique et mathématique Logique symbolique et mathématique - Associations |
| Soggetto genere / forma | Periodicals. |
| ISSN | 2449-836X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | BSL |
| Record Nr. | UNISA-996331550203316 |
| Wrocław, : Polish Academy of Sciences, Institute of Philosophy and Sociology, 1972- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lecture notes in logic
| Lecture notes in logic |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, 1993- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218069903316 |
| Berlin ; ; New York, : Springer-Verlag, 1993- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lecture notes in logic
| Lecture notes in logic |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, 1993- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910146563003321 |
| Berlin ; ; New York, : Springer-Verlag, 1993- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica universalis
| Logica universalis |
| Pubbl/distr/stampa | Basel, : Birkhäuser, ©2007- |
| Disciplina | QA9 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Universelle Logik |
| Soggetto genere / forma |
Periodical
periodicals. Periodicals. Périodiques. |
| Soggetto non controllato |
wiskunde
mathematics mathematische logica mathematical logic logica logic Mathematics (General) Wiskunde (algemeen) |
| ISSN | 1661-8300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | LU |
| Record Nr. | UNINA-9910144860103321 |
| Basel, : Birkhäuser, ©2007- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica universalis
| Logica universalis |
| Pubbl/distr/stampa | Basel, : Birkhäuser, ©2007- |
| Disciplina | QA9 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Universelle Logik |
| Soggetto genere / forma |
Periodical
periodicals. Periodicals. Périodiques. |
| Soggetto non controllato |
wiskunde
mathematics mathematische logica mathematical logic logica logic Mathematics (General) Wiskunde (algemeen) |
| ISSN | 1661-8300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | LU |
| Record Nr. | UNISA-996218774003316 |
| Basel, : Birkhäuser, ©2007- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
